Foundations of Science - PDFSEARCH.IO - Document Search Engine

Foundations of Science
Results: 707

#	Item
651	Core foundations of abstract geometry Moira R. Dillona,1, Yi Huangb, and Elizabeth S. Spelkea,1 a Add to Reading List Source URL: www.wjh.harvard.edu Language: English - Date: 2013-08-13 09:29:49 Angle Geometry Map Object recognition Artificial intelligence Science Cartography Geodesy Computer vision
652	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
653	March[removed]Page 1 of 7 Add to Reading List Source URL: mahdi.cheraghchi.info Language: English - Date: 2014-04-01 13:29:20 Theoretical computer science IEEE Transactions on Information Theory Information theory École Polytechnique Fédérale de Lausanne Computer science Amin Shokrollahi Symposium on Foundations of Computer Science Martin Vetterli Symposium on Theory of Computing Formal sciences Science Academia
654	1988 AAAI Presidential Address Foundations and Grand Add to Reading List Source URL: www.rr.cs.cmu.edu Language: English - Date: 2002-08-07 14:09:12 Philosophy of artificial intelligence Knowledge Computational neuroscience Open problems Computer chess Applications of artificial intelligence Expert system Chess Physical symbol system Artificial intelligence Science Games
655	On the foundations of constructive mathematics — especially in relation to the theory of continuous functions Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:36 Logic Epistemology Logic in computer science Bar induction Mathematical induction Constructivism Ordinal number Computability theory Constructible universe Mathematical logic Mathematical constructivism Mathematics
656	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
657	12th Annual Shannon Memorial Lecture Prof. Rüdiger L. Urbanke Ecole Polytechnique Federale de Lausanne will present a lecture entitled Add to Reading List Source URL: cmrr.ucsd.edu Language: English - Date: 2014-04-15 19:25:34 Science Institute of Electrical and Electronics Engineers IEEE Transactions on Information Theory IEEE Information Theory Society Coding theory Noisy-channel coding theorem Foundations and Trends in Communications and Information Theory Information theory Information Engineering
658	Research Overview Distributed Computing Add to Reading List Source URL: distcomp.ethz.ch Language: English - Date: 2012-06-08 02:39:07 Symposium on Principles of Distributed Computing Symposium on Parallelism in Algorithms and Architectures Conference on Embedded Networked Sensor Systems Symposium on Foundations of Computer Science International Conference on Information Processing in Sensor Networks Symposium on Theory of Computing Distributed computing International Colloquium on Automata Languages and Programming ACM SIGACT Computer science Computing Wireless sensor network
659	Semantic Structure for Programming Languages with Effects (a 6-lecture course) Alex Simpson Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-17 12:01:03 Models of computation Type theory Computability theory Formal methods Lambda calculus Theoretical computer science Monad Type system FO Software engineering Computer programming Computing
660	Licence Agreement No. 1______/__ 1. Parties to this Licence Agreement F-nadace, resident at Krásova[removed], Prague 4, Czech Republic, Business Reg. No[removed], registered in the Register of Foundations kept at the Mu Add to Reading List Source URL: www.dkd.cz Language: English - Date: 2011-05-10 08:15:13 Copyright Data management Library science Monopoly License Business Intellectual property law Data Information

UPDATE